theorem :: XPRIMES2:2477

canceled;