Six String Proof [B-EXT]