Nägot fullständigt bewis ,att