stefansteve1999@tg says to 電訊台
所以個four color theorem proof都係俾人當proof by case 就算個itp話啱