theorem :: XPRIMES2:2667

canceled;