proof (2)