P
Initializing...
Lemma 1 — rank and nullity are nonnegative and monotone · Prove2Me