theorem :: XPRIMES2:1675

canceled;