Med antagande af den allmänna sats , attdiamanten