User blog comment:Wythagoras/New bound for SSCG(2)/@comment-5529393-20130714151318

Unfortunately, G4 is a subgraph of G5.