Comment by robotpepi

if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.