SOME THEOREMS FOR DETERMINING THE DEFINITENESS AND CHANGEABILITY OF SIGN OF FUNCTIONS AND THE APPLICATION TO THE CONDITIONAL STABILITY OF THE MOTION OF THE AXIS OF A SLEEPING TOP