marcuss theorem