Proof of 2.6 fast runner slow runner