add theorem about DiffLOO