Typo thm:trans-prod