proved case 2