Implemented InequalityOfDescreteLogarithmsProofGenerator