この 物体 の 真球度 は 非常に 高い です 。

恒真式 は 、、 どのような 値 を 代入 して も 常に 真 と なる 論理式 の こと を 指し ます 。