theorem :: XPRIMES2:7406

canceled;