RE: product of evens = even?