some more proves