Proof of mean controllability