Additional menu

proof of certain facts