theorem :: XPRIMES2:2207

canceled;