黑海造船厂:数学归纳法