User blog comment:Wythagoras/Extension of SCG/@comment-1605058-20130809200033/@comment-10429372-20130810064720

Fixed. Is my bound for SCG(0,4) OK?