Samuelson's 1954 formal proof establishes that non-excludability severs the link between consumption...