Let and let . Then