なんで合同ってわかっているのに証明するの？