>>163
証明って大袈裟なものでもないが、ある式をひとつ加えるだけで使えるようになる