Solution (source code)

= Solution

The definition of <conditional probability> gives
$$
\boxed{\mathbb P(E_1\mid E_2)=\frac{\mathbb P(E_1\cap E_2)}{\mathbb P(E_2)}=\frac{1/21}{2/7}=\frac16.}
$$
Conditioning on a red in the second position leaves one red among the six counters that could occupy the first position, giving the same result directly.