2-teorema. Agar va uchun tenglikni qanoatlantiruvchi son mavjud bo‘lsa, u yagonadir.
Isbot. Teskarisini faraz qilamiz, ya’ni tenglikni qanoatlantiruvchi kamida ikkita xar hil va sonlar mavjud bo‘lsin:
U holda bu tengliklardan
kelib chiqadi. ekanligi , ya’ni bo‘ladi.
3-teorema. (qoldiqli bo‘lish) Xar qanday va
(34.1)
tenglikni qanoatlantiruvchi va butun sonlari mavjud va ular yagona ravishda aniqlanadi.
Do'stlaringiz bilan baham: |