Added proof of right homogeneity, fixed errors in axioms.