theorem Th56: :: MATRPROB:56

for M being empty-yielding Joint_Probability Matrix of REAL holds M @ is empty-yielding Joint_Probability Matrix of REAL