## IV.5: The Canonical Embedding