theorem :: XPRIMES2:12

canceled;