Sun Wu (c. 500 BC), the famous general and strategist of the Spring and Autumn Period; also the name of his classic text on warfare, the 孙子兵法 sūn​zǐ​bīng​fǎ

(mathematics or logic) a statement or formula that has been proven to be true based on established principles