Proving the correctness of a set of small programs often requires less effort than proving the correctness of a larger, single, equivalent program.
Доказивање коректности групе малих програма често захтева мање напора него доказивање коректности једног већег, еквивалентног програма.