Ukazuje se, že klíčem k rychlému dokazování sumchecku je aplikovat distributivní zákon stále chytřejšími způsoby
519