theorem Th136: :: NUMBER17:136

<*2,2,2,2*> is with_sum_of_squares_of_reciprocals_equal_1