theorem :: XPRIMES2:18

canceled;