`pow_not_e` collapses `theory(a)` to `up(a)`

[Sven Nilsen]

pub fn proof<A: EProp>(theory_a: Theory<A>) -> mid::Up<A> {
    let (ntauto_a, npara_a) = and::from_de_morgan(theory_a);
    (Rc::new(move |na| {
        pow_not_e(npara_a.clone())(na)
    }), ntauto_a)
}