Los subgrupos finito-dimensionales del grupo de simplectomorfismos son grupos de Lie.