theorem :: XPRIMES2:2694

canceled;