Prove strutturate parallele