but the theorem was written in parkour

fermat’s last 5 block jump

@kopper isn't this like how, like, any mathematical proof can be written in typed lambda calculus