sameInputByCompositeInjectivity(h, a, b).
sameInputByCompositeInjectivity(h, b, a).