"9 is divisible by 3."