两个锐角之和是钝角是命题吗