theorem :: XPRIMES2:7697

canceled;