A graceful labeling of a graph with edges is an injective assignment from the vertices of into such that when each edge is assigned the absolute value of the difference of the vertex labels it connects, the resulting edge labels are distinct. In 1978, Frucht conjectured that for gracefully labeled coronas , the omitted vertex label is always even. In this paper, we will verify Frucht’s conjecture.
