4벡터 안쓰고 어떻게 유도함?