Длина гвоздя 12 см, он в 3 раза длиннее шурупа. Какая длина шурупа в миллиметрах?

• 40 мм
• 30 мм
• 4 мм
• 3 мм