theorem :: NUMBER15:53

for x, y, z, t being positive Integer holds
( (((1 / (x ^2)) + (1 / (y ^2))) + (1 / (z ^2))) + (1 / (t ^2)) = 1 iff ( x = 2 & y = 2 & z = 2 & t = 2 ) )