Огтлогч ба шүргэгчийн тухай теорем