total intersection theorem