三校終了
さんこうしゅうりょう third and final proof