Man kan bevisa ,att