Near Matches
Ignore Exact
Everything
2
proof of the first isomorphism theorem