>>131は証明できましたか?