The two statements are logically equivalent. If is the statement "the row-rank of is equal to the column-rank of ", and is the statement "the row-rank of is equal to the row-rank of then easily. You haven't proved much; only that, assuming , is easy to prove.

Try proving now! (obviously without using )