theorem :: XPRIMES1:5605

canceled;