theorem :: XPRIMES2:2871

canceled;