Chứng minh π là số vô tỉ – Theo ngôn ngữ khác