Borel Graph Theorem