Prohorov theorem