定理 (1968)