(bağlanım çözümlemesi) Bağlanımı katsayılarının en küçük üstikiler yöntemiyle kestiriminde, yanın küçüklüğüne ilişkin bir kanıtsav.