theorem :: XPRIMES2:6207

canceled;