Identities (Soichi) and (Okada) for n<=, 400, are true