And here is the relevant statutory provision:
I.R.C. § 3131(f)(3) Denial Of Double Benefit —
For purposes of chapter 1, the gross income of the employer, for the taxable year which includes the last day of any calendar quarter with respect to which a credit is allowed under this section, shall be increased by the amount of such credit. Any wages taken into account in determining the credit allowed under this section shall not be taken into account for purposes of determining the credit allowed under sections 45A, 45P, 45S, 51, 3132, and 3134. In the case of any credit allowed under section 2301 of the CARES Act or section 41 with respect to wages taken into account under this section, the credit allowed under this section shall be reduced by the portion of the credit allowed under such section 2301 or section 41 which is attributable to such wages.
