Cがいかなる集合だろうが成立するやん