The statement "An even number is divisible by two" is true because it just is