귀납적으로 증명되었다