Sum rules for lossless antennas