Quasi finito

Dimostrato che la prima distanza su errequadro non lo è, manca la
dimostrazione sull'arctg che se la fate voi è meglio ^^