theorem :: XPRIMES2:5667

canceled;