theorem :: XPRIMES1:978

canceled;