british flag theorem