Six String Proof [D-EXT]