Uma Porta Escondida: Um Teorema Japonês envolvendo Quadriláteros Cíclicos