2 colorable graph theorem - Search