2 is a prime number
Factor of is transitive
If x * y = 0 then x or y is 0
The square root of 2 is irrational