Show that the product of orthogonal matrices is orthogonal