Ibland bewisen för detta antagandeanförcS