存在與不存在
用公式推算來證明存在
用公式推算來證明不存在
是因為存在所以來推算
還是因為推算後才存在