# 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)

Going home

Pierre Castéran