兩種畢氏定理的證明