この記述が全て正しいという前提の推理はいただけないな