Redirecting to Erdős–Faber–Lovász conjecture