归纳法的证明

NoSuchKey