루시드 세나 오로치 등이 이를 증명