אין מסלול באורך 2 מהקדקוד a לקדקוד , e העובר דרך קדקוד x אין מסלול באורך 2 מהקדקוד a לקדקוד x העובר דרך הקדקוד A לביטוי הנתון ערך ( TRUE ) 1 אם ורק אם קיים מסלול באורך 2 מהקדקוד a לקדקוד e דרך לפחות אחד הקדקודים b או c או J כלומר , לביטוי הנתון ערך ( TRUE ) 1 אם ורק אם קיים מסלול באורך 2 מהקדקוד a לקדקוד e דרך לפחות אחד מקדקודי הגרף . עתה נתבונן במטריצת הסמיכות , A המייצגת את הגרף , ונסתכל על אברי השורה a ועל אברי העמודה ,