Explanation

A number is divisible by 3 if the sum of its digits is divisible by 3.

The sum of the digits of 5217 is 5 + 2 + 1 + 7 = 15, which is divisible by 3. Therefore, 5217 is divisible by 3.