以上の法則を発見したが、ここには証明を書くスペースが足りない