Mediant is Between/Corollary 2/Proof 2