כן, זה עובד. נניח שיש וקטור נוסף (a,b,c) שהוא פתרון של המערכת A'x=0. אז בפרט נובע http://www.codecogs.com/gif.latex?(a,b,c)1=(a,b,c)3=(a,b,c)5 כש-1,3,5 הן השורות במטריצה המקורית A. ומזה נובע ש-http://www.codecogs.com/gif.latex?A(a,b,c)=C(1,0,1,0,1) עבור קבוע כלשהוא C. אם נחלק את (a,b,c) ב-C נקבל ש-(a,b,c) חייב להיות כפולה של (1,2,3) (ב-C^-1).