\(p\) heißt prim, wenn \(p\, |\, ab\Rightarrow p\, | \, a\; \vee p\, |\, b\quad(*)\)
Zu a) vollst. Ind. nach \(r\):
Ind.anfang: \(r=2\). Ist \((*)\).
Ind.annahme: Behauptung gelte für \(r\) mit \(r-1\geq 2\).
Ind.behsuptung: Dann gilt Behauptung auch für \(r\).
Beweis: Es ist \(a_1\cdot \cdots \cdot a_{r-1}\cdot a_r=(a_1\cdot \cdots \cdot a_{r-1})\cdot a_r\).
Nach \((*)\) gilt daher \(p\, | \; a_1\cdots a_{r-1}\; \vee \; p \, | \, a_r\), also
nach Ind.annahme \(p\, | \, a_i\) für ein \(i\in \{1,\cdots,r-1\} \; \vee p\, | \, a_r\),
somit die Behauptung.