Given SVD decomposition $ A = U \Sigma V^T $ (where $U$ and $V$ are orthonormal and $ \Sigma $ is a diagonal matrix), I wish to prove that $ AA^T=U\Sigma \Sigma ^TU^T $ is the EVD decomposition of $ AA^T $ (same goes for $ A^TA=V^T \Sigma ^T \Sigma V $).
It's easy to see that indeed $ AA^T=U\Sigma \Sigma ^TU^T $. But I don't understand why the values on $ \Sigma \Sigma ^T $'s diagonal are $ AA^T $'s eigenvalues.
You forgot a transpose: $A A^T = U \Sigma \Sigma^T U^T$. With that said, recall that by assumption $U^T = U^{-1}$. Now you can see by direct substitution that the columns of $U$ are the eigenvectors of $A A^T$ and that the eigenvalues are the diagonal entries of $\Sigma \Sigma^T$. From a more algebraic point of view, if you can similarity-transform a (square) matrix into diagonal form, then the diagonal entries of that diagonal matrix must be its eigenvalues.
The situation is slightly different for the "economy" SVD, but still essentially the same.