可逆な "p"-ハイポノーマル作用素はlog-ハイポノーマルである。