https://123dok.com/document/zk6m0pmy-pengembangan-perangkat-pembelajaran-geometri-ruang-dengan-proving-theorem.html