theorem :: XPRIMES2:1953

canceled;