પ્રમેય આ ફોર્મમાં લખાયેલ છે: