Van Lamoen Theorem