વધુમાં તેને ત્યાં અને કાર્યો ભાગાકાર (જ્યાં જરૂરી છે કે જે કોઈપણ બિલ્ડ) પ્રમેય (જો તમે કંઈપણ સાબિત કરવા માટે હોય છે જ્યાં) પર પણ દરખાસ્ત છે.