theorem :: XPRIMES1:4760

canceled;