証明の長さはすべてビデオにあります