数学者 エディ

【僕は毎日一人ずつ人狼かどうかを証明できる人狼判定定理を覚えている（占CO）】。