I can't prove this part which is why I've explicitly stated the assumption.