IPOTESI[br]ABCD quadrato di centro O[br] [math]O\in r[/math][br][math]E=r\cup AB[/math], [math]E\in AB[/math][math]G=r\cap CD[/math], [math]G\in CD[/math][br][math]s\perp r[/math], [math]O\in s[/math], [math]F=s\cap BC[/math], [math]F\in BC[/math], [math]H=s\cap AD[/math],[math]H\in AD[/math][br]TESI[br]HEFG è un quadrato