Något fullständigt bewis ,att