Жизнь не доказана как теорема