Freivald’s Algorithm to check if a matrix is product of two