theorem :: XPRIMES2:1946

canceled;