diagram_subscapePROOF