Jeżeli bowiem zaczyn G536 jest święty G40, to i ciasto G5445; jeżeli korzeń G4491 jest święty G40, to i gałęzie G2798.