Wenn ich sage R wird ja nie zur Konstruktion verwendet so ist die Antwort: es könnte ˇauch in dem einen Fall zur Konstruktion verwendet werden, anderseits aber hilft es zum Beweis
nichts.