『ある分野ではよく知られた道具なのに何故か証明を見たことがない』みたいな定理・公式を証明するのが好き。重箱の隅をつつくスキマ産業業者。