För resten kan man bevisa sanningenaf