>>572
必要ない
全ての集合で成り立てば良いので