257 ZPO eine zur Verrechnung mit der ausstehenden Mietforderung
geltend gemachte Forderung sofort zu beweisen und nicht bloss substantiiert und schlüssig vorzutragen (BGE 4A_452/2021 E. 3.4). Ob diese vom
Bundesgericht aus dem gesetzgeberischen Willen, dem Vermieter zu ermöglichen, im raschen Verfahren das Mietverhältnis zu beenden und die
Ausweisung des säumigen Mieters zu verlangen, abgeleiteten hohen Anforderungen generell und insbesondere für in Forderungsprozessen in Verfahren nach Art. 257 ZPO geltend gemachte Verrechnungsforderungen
gelten, kann aber offenbleiben.