theorem :: XPRIMES2:1110

canceled;