It can be proved.