Comment by mcosta

They have provided a literal mathematical proof.