pとqが素数であって、qが2のp乗-1の約数ならば、pはq-1の約数であることを示すことはできますか?