theorem :: XPRIMES1:1788

canceled;