- твердження про властивість фігури, істинність якого встановлюється у результаті міркувань.