missing primes on torus induction added

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