D.4. Định lí