已知某有效三段论的大前提为o判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格oAo式。