Yes.
Couple of things:
generally at every moment the power dissipated in a resistor R
is (i(t)^2)R where i is the current. If i happens to be the sum of two components a and b caused by 2 separate sources in a linear circuit, the power is ((a+b)^2)R.
Expanding the square of the sum gives the power = (a^2+2ab+b^2)R.
Dissipated energy in a certain time interval can be got by integrating. The integral really gives a sum of the separate energies of a and b if the product ab as integrated happens to give zero.
In communication signal calculations we often sum the powers of non-dependent sources or the squares of the RMS voltages just for this reason. The non-dependency means zero correlation which is the same as your "integral of the product must be zero" -rule.
The independency must be true for the summed current components that are caused by different sources. It's a well known case when the independency of the sources doesn't imply the independency of the current components in a load. That happens when 2 sources have a common point frequency component which just at the sources have 90 degrees phase shift. At load the phase difference can be different and that destroys the independence.
BTW The dot in the integral in the question means multiplication of scalar quantities. It's not an error. But often it's left out because we are used to present multiplication with no operator. In exact rigorous math the dot in front of dt is meaningless. The integration symbol doesn't present any multiplication by some infinitely small dt, the t after d only remember us that t is the integration variable. Mr Gauss, Mr Cauchy and Mr Riemann removed all mystical infinitely small quantities from integration and presented it as a logically acceptable limit process. Many famous mathematicians before them really used infinitely small quantities in their work.