User blog comment:Wythagoras/Extension of SCG/@comment-1605058-20130808171741

I believe you heard about function Minor(n) which allows using graphs of arbitrary valence. If we use simple graphs only restriction for Gn is having n vertices. For all a we have Minor(n)>=SSCG(n,a), with simple proof.