prove t14 with much tedious manual brute force proof