rices theorem