クークンは正しい！
これを前提にして証明を組む素晴らしさ。