빨강 40개 증명할 수 있어야함