Compounds related to provitamin D3 (III)): Homocholesterol and the corresponding provitamin (3‐homoprovitamin D3)