theorem :: XPRIMES2:2001

canceled;