theorem :: XPRIMES2:2895

canceled;