  Alphatrion conjectured that it is possible to label the vertices of an
$n$-dimensional hypercube with distinct positive integers such that for every
Hamiltonian path $a_1, \dots, a_{2^n},$ we have $a_i + a_{i+1}$ prime for all
$i.$ We prove the conjecture by proving the more general result that a graph $G
= (V, E)$ can be labeled with distinct positive integers such that the edge sum
for all $e \in E$ is prime if and only if $G$ is bipartite.
