maekawas theorem