Graf G korona graf H, dinotasikan denganG H, adalah graf yang terbentuk dari sebuah graf G dan |V(G) | kopi graf H, dinamai dengan H1, H2, ..., H|V(G)| , dengan menambahkan beberapa sisi sehingga setiap titik ke-i dari G bertetangga dengan setiap titik di i H . Misalkan k adalah sebuah bilangan bulat positif. Graf G1 korona bertingkat-k terhadap G2, dinotasikan dengan G1 korona k G2 adalah sebuah graf yang didefinisikan sebagai graf (G1 korona k G2) korona G2 untuk k > 2 dan graf G1 korona G2 untuk k =1. Graf G =(V,E) dikatakan H-ajaib jika setiap sisi dari G termuat dalam suatu subgraf yang isomorfik dengan H dan terdapat pelabelan total f :V(G)Bigcup E(G)->(1,2,..., |V(G) | + | E(G)|) sedemikian rupa sehingga untuk setiap subgraf H' = (V ',E') dari G yang isomorfik dengan H, jumlah semua label titik di V' dan jumlah semua label sisi di E' adalah sebuah konstanta. Lebih lanjut, G dikatakan H-ajaib super jika f (V(G)) =(1,2,3,...,|V(G) |). Pada tugas akhir ini dibuktikan bahwa roda Wn korona bertingkat-k terhadap sebuah siklus Cn
adalah Wn-ajaib super.