▪ Της μορφής $4k+1$

Έστω $p$ πρώτος αριθμός της μορφής $4k+1$, τέτοιος ώστε $p^2|2^p-2$. Να αποδειχθεί ότι ο μέγιστος πρώτος διαιρέτης $q$ του $2^q-1$ ικανοποιεί την ανισότητα $2^q>(6p)^p$.