３行目訂正。
無理数になるtanが存在せず、矛盾。