Lanhard's Theorem view 3