graph theorem