Template:Embeddability theorem