Original: Michaels was declared the victor by submission and crowned as the new WWF Champion .
Simplified: As a result , Michaels became the WWF Champion .