仮定Aを使ってBを導きました
次にBからCを導きました
これでCを導く際に仮定Aを使っていないと思う人がいるのには驚いた