theorem :: XPRIMES2:769

canceled;