theorem :: XPRIMES2:1973

canceled;