Suppose and doesn't divide . You see there is that . So but we know that, Therefore and . Consider an arbitrary, We know that, So .
Ipagpalagay at hindi paghati-hatiin . Makikita mo doon ay iyon . Kaya't pero alam namin na, Kaya at . Isaalang-alang ang isang di-makatwirang, Alam namin na ang, Kaya .