Simplicial groups are Kan