@id:8668
$name:正準等価性