theorem :: XPRIMES2:5567

canceled;