några förtidiga repliker söka att bevisa satsen.