theorem :: XPRIMES2:19

canceled;