Martin is able to use logical reasoning to prove the statement "in any triangle ,the sum of the measures of any two angles is less than the sum of the measures of two right angles." which of the following best describes the statement? Postulate, Axion, Defenition, or theorem ?