Hopfin–Rinowin lause