theorem :: XPRIMES2:4672

canceled;