Důkaz platnosti rekurentních vztahů a program pro návrh mnohasmyčkových kanonických dolních propustí vyšších řadů s jediným zesilovačem