This theorem gives the cancellation criterion for a quotient of holomorphic functions when numerator and denominator both vanish. If the numerator vanishes to at least the same order as the denominator, the quotient has a removable singularity rather than a pole.