Dady Dom's Theorem view 1