Ballemy's Theorem

A wise man once said, let the balls roll. Just use ChatGPT to do the problems lol.