Afirmamos que sup X = 1 {\displaystyle \sup X=1} . Com efeito, suponha, ababsurdo que α = sup X < 1 {\displaystyle \alpha =\sup X<1} . Então, para qualquer
apelo ao escárnio, ababsurdo, ou a risada de cavalo) é uma falácia informal que apresenta o argumento de um oponente como absurdo, ridículo, ou bem-humorado
contrariando a hipótese. Se BCD é obtuso, ent˜ao AD é maior que BC, que também é absurdo. Logo BCD deve ser reto. Analogamente, ADC também deve ser reto. Assim