יהי v וקטור ממרחב האפס אז אתה יודע ש-Av = 0 כלומר לכל שורה Ri במטריצה מתקיים Riv = 0. תתבונן ב-m הוקטורים הבת"ל, בה"כ נניח כי אלו הם שורות R1, ... , Rm באשר m מייצג את rk A. כל שורה כזאת היא וקטור הפורש את מרחב השורות ומתקיים Riv = 0. כלומר v מאונך לכל וקטור פורש במרחב השורות, לכן v מאונכת למרחב השורות כולו.