En donde la palabra "require" introduce la precondición del método "factorial".