Dykhoff FinalDykhoff Proof