Proof for Dive95.9 with slight changes

Proof for Dive95.9 with slight changes