theorem :: XPRIMES2:9667

canceled;