Az ABCDE négyoldalú gúlában az ACE sík 45∘-os szöget zár be az ABCD, ABE, BCE, CDE és DAE lapok mindegyikével. Igazoljuk, hogy AB2+AD2=BC2+CD2.