Как на php проверить массив и найти там число?

<?php
    $arr = [12345, 56789, 98765, 54321, 14785, 69325];
        
    if(isset($_POST['num'])){
        $num = (int) $_POST['num']; 
        $key = array_search($num, $arr);
        echo $key ? 'Число найдено в массиве, ключ = '. $key : 'Число не найдено в массиве!';
    }
    
?>
<form action="#" method="POST"> 
    <input type="number" required name="num">
    <button type="submit">Отправить форму</button>
</form>

echo $key ? 'Число найдено в массиве, ключ = '. $key : 'Число не найдено в массиве!';