theorem :: XPRIMES1:5555

canceled;