已知一个有效三段论的小前提是O命题，则此三段论是第（）格（）式。