아놀드형이 증명했음