상대 포드 아니라고 가정하면