theorem :: XPRIMES2:7606

canceled;