Surjective Restriction of Inclusion is Identity