@lucylin: there is proof