Thats is called 'Atwood duck' you can find it in the wikipedia article of the law of triviality. You are welcome