theorem :: XPRIMES1:1908

canceled;