ÔÚÏß·¢±í»¹Ã»¿¯ºÅÄܸÄ×÷Õßµ¥Î»Âð
proofµÄʱºò´óÒâÁË£¬¸ÕÓз¢±íµÄÁ´½Ó£¬»¹Ã»doiºÍ¿¯ºÅ£¬Ò²Ã»¸¶°æÃæ·Ñ£¬ÏÖÔÚÄܸIJ¢ÁÐÒ»×÷µÄµ¥Î»Âð£¿
·µ»ØÐ¡Ä¾³æ²é¿´¸ü¶à
½ñÈÕÈÈÌû
proofµÄʱºò´óÒâÁË£¬¸ÕÓз¢±íµÄÁ´½Ó£¬»¹Ã»doiºÍ¿¯ºÅ£¬Ò²Ã»¸¶°æÃæ·Ñ£¬ÏÖÔÚÄܸIJ¢ÁÐÒ»×÷µÄµ¥Î»Âð£¿
·µ»ØÐ¡Ä¾³æ²é¿´¸ü¶à
¡£
϶¨²»ÐÐÁË£¬Èç¹ûÒ»¶¨Òª¸Ä£¬¿ÉÄÜÃæÁÙ±»³·¸å¡£Ï´Î×¢Òâ°É£¬
´ËʱӦ¸Ã²»»áÔÙÔÊÐí¶ÔÊÖ¸å×öÈκθ͝ÁË¡£