You are either completely oblivious to computer assisted/generated proofs or you have a niche definition of mathematics for yourself.

Also they are not saying "all these cases where it holds true," they are saying "in all the cases, it holds true," which is the definition for validity.