Halfway Full Halfway There Proof