다음 중 증명과정에서 첫 번째 혹은 주요한 전제가 생략되는 주장의 형태를 의미하는 것은?