sats , • * = hvilket skulle bevisas.