We prove, what we promise