(n)theorema proposition deducible from basic postulates