196 134 



Kr^Uillfs BA'-ß ved A'' B A'' B A'-' ses 21 (i^' -Si imiiilddliarl al kiiiiiii' reduceres, 

 idel diMi kan lii'iii.tiL's lil al indelioldc en l'akbn' B mindre. 



Skal i II en Taktoi' BA' gaa l'orud, maa / \ujre I; llii liaxde man 



BA^'BA'^BAWAB 

 og erstattede det andet BA^B med A^BA'^BA'', fik mun 



... BA-BA-'BA'^BA^B ..., 



som er reduklibel. 



\ i maa allsaa have Ilækkefølgeu 



... BABA^BA^BAB ..., 

 som kan omskrives til 



'. .. BABA^BA'^BA^B ... 



Nu ses imidlertid, at den foregaaeude Faktor t'or de anforle ikke kan \a're BA, 



ikke heller BA^ ; thi da kunde man skrive 



... BA'^^ABA'^BA-^BA^B = B A^BA^BA-'BABA^B , 



som er reduktibel; men den kan heller ikke være A"^ \ thi da havde man 



... BA^'BABAWA-^BA'B ... 



og ved at erstatte det første BA^B ved A'^BA'^BA'^, BA^B \ed A-^BA'^BA' lik man 



A^BA^BA-'BA^BA-'BAB, 

 som kan reduceres. 



Der kan altsaa foran 



... BABA^BA^BAB 



ikke gaa nogen Faktor B, uden at den kan reduceres til at indeholde fierre Faktorer B. 



Hvis vi derpaa se paa 3) 



BABA^BA^B, 



se \i ganske paa samme Maade, at efter BA*B kan kun folge ^ß, og at enhver yder- 

 ligere Tilføjelse af en Faktor A'-B vil bevirke, at Antallet af Faktorer kan reduceres. 



Betragte vi derpaa 



... BABA^BAW ..., 



saa kan her ikke foran den første Faktor komme BA'^; thi da havde man 



BA^BABA^BA"-B = A'^BA^ BA^BA^ BA^B, 



som er reduktibel. Men der kan heller ikke komme BA'^ ; thi da har man 



BA^BABA*BA'-B = BAOBAB A'-B A^BA^ = BA^BA^BA^BABA\ 



som ligeledes er reduktibel. Der kan da ikke gaa nogen Faktor B forud for det omlalle 



Produkt, uden at vi kunne reducere Produktet til at indeholde færre Faktorer. 



Paa samme Maade vises, at der ikke kan gaa nogen Faktor B efter 



BA"- BAOBAB 

 uden at Produktet er reduktibelt. 



