theorem :: FIELD_9:51

deg ((FAdj ((Z/ 2),{alpha})),(Z/ 2)) = 2