(6)整数に関する命題の証明 (7)ヒィボナッチ数列