theorem :: XPRIMES2:20

canceled;