commandinos theorem