manifest 정리