Is this comment true? Why? Based on what assumptions? What about "select A + B from R1 group by A + B, C order by C"? Explain this in the comment.

BTW, I prefer "If there is a" to "If I/we have a".