در قضیۀ «مجموع زوایای مثلث سه قائمه است» رابطه محمول و موضوع از کدام نوع است؟
1 امکانی
2 ممتنع
3 ضروری
4 هیچ کدام