Varinogne-ren teorema