Going to almost-working proof!
Few admits to remove left...
More proof fixing.