Template:Left-right equivalence statement