すみまんせんでした。確かにいくらでも反例があって全然ダメでしたね。

これだったらいえますか？
　自然数p>qに対して、3^p - 1 が 3^q - 1 で割り切れるとき、pはqで割り切れる。