Kan S. bevisa ,att