自然数の集合S上の関係≦をa,b∈Sに対して
        a≦b⇔bはaで割り切れる
と定義する。このとき、次の問いに答えてくれませんか?
�@関係≦は順序関係であることを証明してくれませんか?