theorem :: XPRIMES2:7710

canceled;