3vk tauon jälkeinen oikoluku

tekijäryhmien suora tulo lisätty
typoja korjattu
pryhnontrv-lauseen todistusta selkeytetty
vikan luvun kieliasua parannettu