theorem :: XPRIMES1:2867

canceled;