theorem :: XPRIMES2:7693

canceled;