Mathematical Picture Proof