Let be an isosceles triangle with . is the midpoint of and is the point on the line such that is perpendicular to . is an arbitrary point on different from and . lies on the line and lies on the line such that are distinct and collinear.
Hayaan maging isang isosceles triangle na may . ay ang midpoint ng at ay ang punto sa linya tulad na ay tirik na . ay isang di-makatwirang point sa mula sa iba't-ibang at . kasinungalingan sa linya at kasinungalingan sa linya tulad na ay naiiba at collinear.