not sure, but I think this is not true when ```ModularArithmetic.CANNOT_ASSUME_DENOM_IS_POWER_OF_TWO``` is true