Dehongliad o freuddwyd am brawf mathemateg