Rao–Blackwell theorem — theorem