Added interesting proof