theorem Th56: :: MATRPROB:56

for M being V3() Joint_Probability Matrix of REAL holds M @ is V3() Joint_Probability Matrix of REAL