subst_inequiv theorem
Removed trailing whitespaces