증명법도 다 자동으로나오나??