sentence1: If three variables , Formula 26 , Formula 27 and Formula 28 , are bound for a total function formula 30 by condition formula 29 , the following differentials exist .
sentence2: If three variables , formula 26 , formula 27 and formula 28 are bound by the condition formula 29 for some total function formula 30 , then the following differentials exist .