2023-03-29 functio zn≦αxn+α'xn-1…αn+βyn+β'yn-1+β''xn-1…+βn ≧αxn+α'xn-1…αn+βyn+β'yn-1+β''xn-1…+βn T.theodor 2023.3.29.