条件と集合がごっちゃになってるあたり、高木くんおるやんと思ったw
https://mathlog.info/articles/3978