theorem :: XPRIMES2:2848

canceled;