theorem :: XPRIMES2:16

canceled;