Added another theorem that I cant prove