for x being number holds
( x in SquareNumbers iff x is square )