Let x be a positive integer. We want to determine whether x is even.
Statement 1: x is a multiple of 4.
Statement 2: x is a multiple of 2.