theorem :: XPRIMES2:8667

canceled;