角一等于角四,角二等于角三,角一加角二等于角三加角四的依据是什么