theorem :: XPRIMES2:1931

canceled;