. Marek: Mam dowieść że |AD|=|CD| |AD|=a²+b²+h²+d+2−ab−bc |CD|=a²+b²+h²+d+2−ab−bc=|AD| Zatem |AD|=|CD|. Dowód przeprowadzony jest poprawnie?

Metis: L=P

Marek: Dziękuję