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