The formulas for evaluating the possibility of life on other planets