If none of AB, BC, CA is blue, then all three edges are red and we have a red triangle, namely, ABC.
Якщо жодна з AB, BC, CA не є синьою, тоді всі три краю червоні, а ми маємо червоний трикутник, а саме ABC.