画一个圆等于已知角是不是命题