あとはであることに注意すればわかる。(I)型Wieferich数12個、(II)型Wieferich数18個、(III)型Wienerisch数74個の計104個で尽くされることが示された。これら104個の数が定理の主張に書いた104個の数であることは掛け算すればわかる。Q.E.D.Wieferich素数が新たに発見されたとしても、有限個のWieferich素数からは有限個のWieferich数しか生じません*1。以下の素数をわたる)。