Prove varie

Prove varie