증명과정에서 첫 번째 혹은 주요한 전제가 생략되는 주장의 형태를 지칭하는 용어는?