propositioner , alla tom redan sagdt theoem.