• 대한수학회지
• /
• 제45권5호
• /
• pp.1311-1322
• /
• 2008

The Fifteen Theorem proved by Conway and Schneeberger is a criterion for positive definite quadratic forms over the rational integer ring to be universal. In this paper, we give a proof of an analogy of the Fifteen Theorem for definite quadratic forms over polynomial rings, which is known as the Four Conjecture proposed by Gerstein.