pub fn subtract_with_lo_hi(
    ct_0: &ElGamalCiphertext,
    ct_1_lo: &ElGamalCiphertext,
    ct_1_hi: &ElGamalCiphertext
) -> Option<ElGamalCiphertext>