theorem :: XPRIMES1:4767

canceled;