[math-fun] Zero matrix products question