theorem :: XPRIMES2:246

canceled;