(Q2917311)

theorem stating that sum of 1/(k−1), where k ranges over positive integers of the form mⁿ for m≥2 and n≥2, equals 1