101.15 An elementary proof that not all principal ideal domains are Euclidean domains. Issue 551 (15th June 2017)