As if it is hence proved […]