theorem :: XPRIMES2:2002

canceled;