Hence proved