Finite real multiple zeta values generate the whole space $Z$

We prove that the $\mathbb{Q}$-vector space generated by the multiple zeta values is generated by the finite real multiple zeta values introduced by Kaneko and Zagier.