theorem :: XPRIMES2:11

canceled;