I can see how this proves that 20 is possible, but not that 20 is the largest possible, which is what the question asks. How would that be proven?