>>1
陰性証明を認めないって…