>>75,>>78より、>>13はkingであることが証明された。