add the prove that equality of two implementation of lowestOneBit