Proof by reflection

The complete source of examples from this chapter click here . Caution : some proofs involve long computations
Notice that some exercises are solved in this file.

Exercises

Exercise 16.1 page 438 On division and primality
Exercise 16.2 page 438 Prime numbers and square roots
Exercise 16.5 page 445 Algebraic reflection with a neutral element
Exercise 16.7 page 448 Proving that lists are not permutations (using reflection)