>>772
そうです

イコールは等号公理というものがありますね