上で挙げた"帰納法" と"置換" の型は正にそうした例に当る。