Den går ut på att bevisa ,att