... WKDWM[MAM[M ey IRU nQLWH W+HQFHMHbMAMHbM ey M[MAM[M ey 6LQFHM'M ey WKH SURSHUW\ KROGV E\ YLUWXH RI WKH HOHPHQWDU\ LQHTXDOLW\Hbb'&MHbMAMHbM ... Hb, <ey',exby ',exb<y ', <bey>Hb,b', @ex )exb<y>Hb,b', @<eyZKHUH ) Hb,b', 7KH ... DQG a k W RWKHUZLVH &OHDUO\ a k PHHWV WKHQHFHVVDU\ PHDVXUDELOLW\ UHTXLUHPHQWV )XUWKHUPRUH WKHUH LV a k ZKLFK LV PHDVXUDEOH LQ WKHVDPH ZD\ DQG VXFK WKDW DOO WKH VHFWLRQV a k...