The graph Kre(4) does not exist