negative regulation of cell proliferation involved in contact inhibition