Stuck #6

Stuck #6

Matita.

A3.