Test these propositions for whether they are tautologies

1. ( x)( y)( z)((x=y & y=z) --> x=z)
2. ( x)( y)(x=y --> y=x)