ここまでで馬=広沢の証明が一切ないから面白えよな