chasless theorem