theorem :: XPRIMES2:1769

canceled;