WADAJ

wadaj: translation

corollary [?]