theorem :: XPRIMES2:7326

canceled;