813

Prove $a:b=\phi$.