theorem :: XPRIMES2:7910

canceled;