theorem :: XPRIMES1:1961

canceled;