명제에 복소수평면 무조건임