header(location: page01.php);

I motori di ricerca non ti penalizzano, è un metodo comunemente utilizzato.
Volendo potresti addiritture settare gli header a 200 invece che 302 e il MdR non si accorgerebbe di nulla (credo)