Spectral Galerkin approximation and rigorous error analysis for the Steklov eigenvalue problem in circular domain | Synapse