set p = the Prime;
the Prime |^ 2 divides 0 by NAT_D:6;
hence 0 is square-containing ; :: thesis: verum