prove (1)