koher 8/9/2017 6:03 AM

↑それは余裕で空集合かと。