Thus they proved that s ∝ Qn2.
彼らは、s ∝ Qn2　を証明したのである。