missing primes on torus induction added

Fix for issue https://github.com/HoTT/book/issues/465 .