Věta o pravděpodobnostním rozdělení funkce náhodné veličiny