theorem :: XPRIMES2:9606

canceled;