Canonical Embedding into the Bidual is an Isometry