Doesn’t “color” (no ‘s’) imply they can’t be more than one? Or… is this theorem proven? Both of these horses are all the same color.