Profver ut lemmas ei!