theorem :: XPRIMES2:14

canceled;