I think the -1 value for protocol only works for security groups that are part of a VPC.  For EC2-Classic I think you would have to add three separate rules, one for each protocol.

Saltstack: (boto_secgroup) Add a rule that allows ALL TRAFFIC to a sec group
Recently I came across this proof for fact that primes are infinite.

It's a proof by contradiction. The proof assumes that primes are finite and there is a prime M which is larger than any prime out there. Then you basically take the product of all primes up to and including M and you add one to it, which the source where I read this proof claims is a prime obviously larger than M hence a contradiction to our assumption that primes are finite.

So why is it that product of first N primes + 1 another prime? 
