There is at least one multiple of 3 → $ 3 \mid $ product