יהי V מ"ו נוצר סופית, ויהי בסיס ל-V. יהי W מ"ו נוצר סופית ויהיו וקטורים כלשהם (לא בהכרח שונים)
אזי קיימת העתקה לינארית יחידה המקיימת: