If I understand correctly, you want to prove that BFS always finds the shortest path between any two nodes. So you can try to assume that BFS does not find the shortest path and then show that this gives a contradiction. (I think that's what you mean by "give rise to non-tree edge"). So in my opinion, the answer to your question is yes.