theorem :: XPRIMES1:1954

canceled;