simplify proof that L and S are not isomorphic