ボトムは正規形になっていない式ではないのか
途中の式のことを値といっていいのか