added full by 3 theorem yay