
$H_{F'}=H_F$
