I\'m trying to double check a proof I\'m doing, and not sure which technique I should be using. Half of me feels this is right, but there\'s a chance what I did is ambiguous
