proof method