Mycken möda användes på att bevisa,