Isbot. ning bazisi bo’lsin. chiziqli almashtirish, akslantirishni orqali topamiz va ning dagi matritsasi bo’ladi. 5.2.9 teorema ushbu akslantirishni respects multiplication va skalyar ko’paytma ekanligini ko’rsatadi. 5.2.3 natijaning xulosasidan ning biektivligini ko’rishimiz mumkin.
ning bazisi bo’lsin. 
akslantirishni 
orqali 
ning biektivligini ko’rishimiz mumkin.
