严谨但是没有完全严谨的初步推理(第2页)