proof matrix is real