sc proof (2)