theorem :: XPRIMES1:1830

canceled;