Studia sperimentalmente se per K pari a 7, ad 11 e a 13 vale che, per ogni n intero positivo, Kⁿ−1 è divisibile per 6, e, nei casi affermativi, prova a dimostrare la proprietà per induzione.