några satser meck bevis , h.