制約を課していないものはデフォルトで任意であるということだと思います。 前述の証明の中に「角度は〇〇度とする」みたいな制約はなかったですよね。