theorem :: XPRIMES2:1140

canceled;