Kıyas teorisinde, iki öncülü birleştiren ve sonucun çıkarılmasını sağlayan terim aşağıdakilerden hangisidir?