数学の命題ではないっす。