Yeah in most of the times although you have to be careful. For example here the identity doesn't hold for because on both sides the denominator would be 0 but when we cross multiplied, the expression we got holds for . The other manipulations were equivalent on the given domain therefore we proved the identity for all s except ( ) which we had to do. So in general you should check the domains.