proving positivity of bilenear formula

Printable View