This was originally proved in

M. Newman, J. R. Smart, Symplectic modulary groups, Acta Arith 9 (1964), 83-89.