Basically this is a theory that states we can transform any positive integer into 1 by dividing by 2 if it is even, or dividing by 3 and adding one.
This program tests an indefinite amount of integers against this theorem. A number gets added to the doesn't work category if it takes more than 200000 checks against the theorem. It is suggested to run in Turbowarp. https://turbowarp.org/1200755764?turbo
