theorem :: XPRIMES2:7694

canceled;