what da?!

Estava eu a estudar pra algebra quando depois de ter provado um dominio de integridade cheguei a isto. Desta demonstração conclui que tenho de emagrecer.