theorem :: XPRIMES1:5060

canceled;