theorem :: XPRIMES2:1932

canceled;