proof (1)