prove without copy and paste