Lanhard's Theorem view 1