Browsing by The Australian Curriculum Version 9.0

apply deductive reasoning to proofs involving shapes in the plane and use theorems to solve spatial problems