まあ彼の場合は高卒なのに
デデキントの切断を(解っていたという意味ではなく)持ち出せた
というだけで偉いとほめてあげましょうや