命題が、"a" ＝ "k" のとき成り立つと仮定する。