Divisibility rules by three and nine