theorem :: XPRIMES1:5122

canceled;