T ( Thm ( Thm Thm ^ Wikingen * ) , 0.