In the Cox proportional hazard models for two groups we assume that the hazard rate $\lambda_1$ in group 1 is related to the hazard rate $\lambda_2$ in group 2 by $\lambda_2(t)=k\lambda_1(t)$ for a certain proportionality constant $k>0$.
Then, denoting by $S_1$ and $S_2$ the survival functions in group 1 and group 2 respectively, the proportional hazard assumption is equivalently written $\log S_2(t) = k \log S_1(t)$ (by integration), and then $\boxed{\log(-\log S_2(t))=\log(k)+\log(-\log S_1(t))}$.
The boxed formula was already claimed in @FrankHarrell's answer.
I would add that this boxed formula provides a visual method to check the proportional hazards assumption: plot the two "$\log$ minus $\log$'' transformations of the Kaplan-Meier estimates $\hat S_1$ and $\hat S_2$ on the same graphic; under the proportional hazards assumption it is expected that the two curves are "parallel". With R, you get this graphic by typing:
fit <- coxph(Surv(time,status)~strata(group), mydataframe)
plot(survfit(fit), col=c("blue","red"), fun="cloglog") ### blue: group1, red: group2