two reds can satisfy two blues; three reds can satisfy four blues; four reds can satisfy six blues; ... 670 reds can satisfy 1338 blues.