reserve m, n for Nat;

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