Argumentum a fortiori
…that if (1) holds, then (2) will also hold. Therefore, any proof of (1) also suffices as a proof of (2). Thus, (2) is an "a fortiori" argument. In logic, a maiore ad minus describes a simple and obvious inference from a claim about a stronger entity, greater quantity, or general class to one about a…