슈퍼맨으로 증명가능