. "0"@en-us . "corollary%1:09:00::"^^ . "corollary"@en-us . .