theorem :: XPRIMES2:647

canceled;