Teoria dell'operatore (1426)