Som bevis för satsen , attexemplet