completed proof thm:Gerkmann