theorem :: XPRIMES2:1928

canceled;