\input zb-basic \input zb-ioport \iteman{io-port 06111998} \itemau{Kincses, J.; Makay, G.; Mar\'oti, M.; Oszt\'enyi, J.; Z\'adori, L.} \itemti{A special case of the stahl conjecture.} \itemso{Eur. J. Comb. 34, No. 2, 502-511 (2013).} \itemab Summary: Let $G_{n,k}$ denote the Kneser graph whose vertices are the $n$-element subsets of a $(2n+k)$-element set and whose edges are the disjoint pairs. In this paper we prove that for any non-negative integer $s$ there is no graph homomorphism from $G_{4,2}$ to $G_{4s+1,2s+1}$. This confirms a conjecture of Stahl in a special case. \itemrv{~} \itemcc{} \itemut{Kneser graph; homotopy classes of maps; Kneser's conjecture; graph homomorphism; chromatic number; ortholattice} \itemli{doi:10.1016/j.ejc.2012.10.003} \end