intentaIntenta ponerle el nombre al
$row['refprofesor'];
$row['refprofesor'];
quedaria
while($row = mysqli_fetch_array($query4, MYSQLI_NUM)) { echo $ejemplo = $row['refprofesor']."<br>"; }
while($row = mysqli_fetch_array($query4, MYSQLI_NUM)) {
echo $ejemplo = $row['refprofesor']."<br>";
}