Added proof and comment