Matt in einem Zug, b) Ta1 nach b1. Zusatzfrage: Ist der wLc3 entbehrlich?
a) 1.0-0-0# (Schwarz kann zum Schluss 0...Kc4-d3 gezogen haben).
b) Schwarz ist am Zug, denn er kann nicht zum Schluss gezogen haben. Auf 0...Kc2: folgt 1.Dd2#.
Zusatzfrage: Ohne den Lc3 wäre b) unlösbar. Schwarz kann zum Schluss 0...Kc4xTd3 gezogen haben;
der Zug von Weiß davor war 0.Tb3-d3+. Weiß ist also am Zuge, kann aber nicht mattsetzen (der wBb4 verhindert Sb4#).
Der wLc3 ist also nicht entbehrlich. Er könnte freilich durch einen wBc3 ersetzt werden. Eine Antwort auf die sprach-logische Frage, ob er deswegen doch entbehrlich ist, will mir nicht einfallen.