for C being FormalContext holds DualHomomorphism C is bijective