theorem :: XPRIMES2:5805

canceled;