if an expression A can be re-written as expression B using only equivalences to perform the re-write, then A is equivalent to B