પછી, વિચાર કુલ મંજૂર રેખા તપાસ, અથવા પ્રમેય નિર્દેશિત કરવામાં આવે છે.