>>545
で安全性は証明できるのですか?