for p being ProbFinS FinSequence of REAL
for M being V3() Conditional_Probability Matrix of REAL st len p = len M holds
(Vec2DiagMx p) * M is Joint_Probability