via Satz F G F.C.