Average Value of Even Numbers That Are Divisible by Three