简单的归纳法就可以把这个结论严格化了。