theorem :: XPRIMES2:6667

canceled;