任意の命題は仮定に取れるから近似ではないなw