Tight quantum depth lower bound for solving systems of linear equations | Synapse