theorem :: XPRIMES2:1121

canceled;