2を法としたパスカルの三角形に対して、第k行(k=0、1…)の1の数を与える公式を予想し、それが正しいことを証明せよ

お願いします