theorem :: XPRIMES1:1953

canceled;