Vanitas 프루프

증명 매개변수가 누락되었습니다.