Lanhard's Theorem view 2