s-scrap-0

equal axioms

code:s

|- a = a

a = b |- b = a

a = b, b = c |- a = c

code:s

A