Proof that pyramid networks are 1-Hamiltonian-connected with high probability