主張：歐幾里得和阿基米德用過的證明完畢，是爲了顯示證明所需的結論已經完整。
領域：其他
判定：supports