اول واضحه كه
. فرض مي كنيم
(دقت كنيد كه حالت تساوي نمي تونه اتفاق بيافته) پس
. فرض مي كنيم
پس داريم:
دو رابطه ي بدست اومده با هم تناقض دارن. حالا فرض مي كنيم
. پس داريم:
دو رابطه ي بدست اومده با هم تناقض دارن پس فرض اوليه مون غلط بوده و اين يعني
پس
.
---- دو نوشته به هم متصل شده است ----
اول واضحه كه
. فرض مي كنيم
(دقت كنيد كه حالت تساوي نمي تونه اتفاق بيافته) پس
. فرض مي كنيم
پس داريم:
دو رابطه ي بدست اومده با هم تناقض دارن. حالا فرض مي كنيم
. پس داريم:
دو رابطه ي بدست اومده با هم تناقض دارن پس فرض اوليه مون غلط بوده و اين يعني
پس
.