Sur les conditions de divisibilité d'un produit de factorielles par un autre
We establish two truncations of Gauss’ square exponent theorem and a finite extension of Euler’s identity. For instance, we prove that for any positive integer , where