Creando un bloque de funciones que calcula el producto de arrays de dos dimensiones de tipo REAL de tamaño variable. Se realiza una doble comprobación de que todos los arrays están dentro de las áreas de memoria permisible (DT o FL) y que sus dimensiones cumplen los requisitos para la multiplicación de matrices.