ઉપર પ્રમેય, વગેરે