逆に使ったことある定理挙げてみろよ