Prove per classi parallele