theorem :: XPRIMES1:1957

canceled;