theorem :: XPRIMES2:1207

canceled;