Here is the rigorous proof you are looking for. Consider both coloured pegs and the holes as pieces, and consider tuples of pieces that are in the stipulated order. For example a BH pair is a pair of pieces such that the one on the left is a black peg and the one on the right is a hole. Let $C$ b...