上の各三重線型写像は一意的な線型写像