Είναι η μέθοδος �?ου χρησιμο�?οιείται για την α�?όδειξη �?ροτάσεων �?ου αφορούν γενικούς τύ�?ους.