several proofs of fermat's little theorem are known inama nakugira nukubwira uko ubyumva hung shui kiu is reachable by castle peak road