Added proof