theorem :: XPRIMES2:15

canceled;