Tywar's proof to working