theorem

done 4d ago mh++