lean.golf
hole09

levi

hard

Levi ben Gershon proved in 1342 that 8 and 9 are the only consecutive powers of 2 and 3, answering a question the composer Philippe de Vitry had asked him about musical intervals. Mihailescu settled the general Catalan conjecture 660 years later: 8 and 9 are the only consecutive perfect powers of any kind.

tactics allowed
10 bytes · 10 chars