Математика: как выносить квантор за скобки?