theorem:rice