theorem :: XPRIMES1:5673

canceled;