Pillai's conjecture

GPTKB entity