rank-nullity theorem

1. REDIRECT Rank–nullity theorem

{{R from modification}}