That's assumed common knowledge for non-graph theory specialists.