Cofunction Relations for sin and cos PROVED