ドキュメントとプルーフの違いについて

このビデオでは、以下について説明します。