proof outline for predetermined result