27 isomorphism_dimensional_leibniz